In this paper,the authors define the homology of sets,which comes from and contains the ideas of path homology and embed......

The complete machine proving of the Factorization Theorem of Principal Ideal Domain in the abstract algebra is given by ......